-
1 алгебраически определимая функция
Mathematics: algebraically definable functionУниверсальный русско-английский словарь > алгебраически определимая функция
-
2 индуктивно определяемая функция
Mathematics: inductively definable functionУниверсальный русско-английский словарь > индуктивно определяемая функция
-
3 канонически определимая функция
Mathematics: canonically definable functionУниверсальный русско-английский словарь > канонически определимая функция
-
4 неявно определимая функция
Mathematics: implicitly definable functionУниверсальный русско-английский словарь > неявно определимая функция
-
5 определимая функция
Mathematics: definable functionУниверсальный русско-английский словарь > определимая функция
-
6 параметрически определимая функция
Mathematics: parametrically definable functionУниверсальный русско-английский словарь > параметрически определимая функция
-
7 равномерно определимая функция
Mathematics: uniformly definable functionУниверсальный русско-английский словарь > равномерно определимая функция
-
8 явно определённая функция
Mathematics: explicitly definable functionУниверсальный русско-английский словарь > явно определённая функция
-
9 алгебраически определимая функция
Русско-английский научно-технический словарь Масловского > алгебраически определимая функция
-
10 индуктивно определяемая функция
Русско-английский научно-технический словарь Масловского > индуктивно определяемая функция
-
11 канонически определимая функция
Русско-английский научно-технический словарь Масловского > канонически определимая функция
-
12 неявно определимая функция
Русско-английский научно-технический словарь Масловского > неявно определимая функция
-
13 параметрически определимая функция
Русско-английский научно-технический словарь Масловского > параметрически определимая функция
-
14 равномерно определимая функция
Русско-английский научно-технический словарь Масловского > равномерно определимая функция
-
15 явно определенная функция
Русско-английский научно-технический словарь Масловского > явно определенная функция
См. также в других словарях:
Definable real number — A real number a is first order definable in the language of set theory, without parameters, if there is a formula φ in the language of set theory, with one free variable, such that a is the unique real number such that φ(a) holds in the standard… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Definable set — In mathematical logic, a definable set is an n ary relation on the domain of a structure whose elements are precisely those elements satisfying some formula in the language of that structure. A set can be defined with or without parameters, which … Wikipedia
Definable — In mathematical logic, the word definable may refer to: A definable real number. A definable set. A definable integer sequence. A relation or function definable over a first order structure. A mathematical object or concept that is well defined.… … Wikipedia
definable — adjective Date: 1610 1. able to be defined 2. able to be specified to have a particular function or operation < definable keys > • definably adverb … New Collegiate Dictionary
Primitive recursive function — The primitive recursive functions are defined using primitive recursion and composition as central operations and are a strict subset of the recursive functions (recursive functions are also known as computable functions). The term was coined by… … Wikipedia
Ackermann function — In recursion theory, the Ackermann function or Ackermann Péter function is a simple example of a general recursive function that is not primitive recursive. General recursive functions are also known as computable functions. The set of primitive… … Wikipedia
Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
Pfaffian function — Not to be confused with Pfaffian. In mathematics, the Pfaffian functions are a certain class of functions introduced by Askold Georgevich Khovanskiǐ in the 1970s. They are named after German mathematician Johann Pfaff. Contents 1 Basic definition … Wikipedia
Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… … Wikipedia